Masopust, Tomáš: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Supervisory control synthesis of discrete-event systems using a coordination scheme

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen

Journal:

Year:

2012

Language:

english

File:

PDF, 415 KB

english, 2012

2

A note on controllability of deterministic context-free systems

Tomáš Masopust

Journal:

Year:

2012

Language:

english

File:

PDF, 205 KB

english, 2012

3

Separability by piecewise testable languages is PTime -complete

Masopust, Tomáš

Journal:

Theoretical Computer Science

Year:

2017

Language:

english

File:

PDF, 468 KB

english, 2017

4

Complexity of deciding detectability in discrete event systems

Masopust, Tomáš

Journal:

Year:

2018

Language:

english

File:

PDF, 417 KB

english, 2018

5

Deciding detectability for labeled Petri nets

Masopust, Tomáš, Yin, Xiang

Journal:

Year:

2019

Language:

english

File:

PDF, 320 KB

english, 2019

6

Simple restriction in context-free rewriting

Tomáš Masopust

Journal:

Journal of Computer and System Sciences

Year:

2010

Language:

english

File:

PDF, 212 KB

english, 2010

7

Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen

Journal:

Systems & Control Letters

Year:

2011

Language:

english

File:

PDF, 322 KB

english, 2011

8

Descriptional complexity of semi-conditional grammars

Tomáš Masopust, Alexander Meduna

Journal:

Information Processing Letters

Year:

2007

Language:

english

File:

PDF, 99 KB

english, 2007

9

Descriptional complexity of multi-parallel grammars

Tomáš Masopust

Journal:

Information Processing Letters

Year:

2008

Language:

english

File:

PDF, 109 KB

english, 2008

10

On the descriptional complexity of scattered context grammars

Tomáš Masopust

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 369 KB

english, 2009

11

Left-forbidding cooperating distributed grammar systems

Filip Goldefus, Tomáš Masopust, Alexander Meduna

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 294 KB

english, 2010

12

Dopamine 2 receptor expression in various pathological types of clinically non-functioning pituitary adenomas

Filip Gabalec, Martin Beranek, David Netuka, Vaclav Masopust, Jiri Nahlovsky, Tomas Cesak, Josef Marek, Jan Cap

Journal:

Year:

2012

Language:

english

File:

PDF, 207 KB

english, 2012

13

On restricted context-free grammars

Jürgen Dassow, Tomáš Masopust

Journal:

Journal of Computer and System Sciences

Year:

2012

Language:

english

File:

PDF, 220 KB

english, 2012

14

On a structural property in the state complexity of projected regular languages

Galina Jirásková, Tomáš Masopust

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 1.02 MB

english, 2012

15

Endoscopic endonasal resection of medial orbital lesions with intraoperative MRI

Netuka, David, Masopust, VÃ¡clav, BelÅ¡Ã¡n, TomÃ¡Å¡, ProfantovÃ¡, Nora, BeneÅ¡, VladimÃr

Journal:

Acta Neurochirurgica

Year:

2013

Language:

english

File:

PDF, 538 KB

english, 2013

16

COMPLEXITY IN UNION-FREE REGULAR LANGUAGES

JIRÁSKOVÁ, GALINA, MASOPUST, TOMÁŠ

Journal:

International Journal of Foundations of Computer Science

Year:

2011

Language:

english

File:

PDF, 295 KB

english, 2011

17

Coordination control of discrete-event systems revisited

Komenda, Jan, Masopust, Tomáš, van Schuppen, Jan H.

Journal:

Discrete Event Dynamic Systems

Year:

2015

Language:

english

File:

PDF, 1.40 MB

english, 2015

18

Control of Distributed Systems: Tutorial and Overview

van Schuppen, Jan H., Boutin, Olivier, Kempker, Pia L., Komenda, Jan, Masopust, Tomáš, Pambakian, Nicola, Ran, André C.M.

Journal:

European Journal of Control

Year:

2011

Language:

english

File:

PDF, 200 KB

english, 2011

19

On conditional decomposability

Komenda, Jan, Masopust, Tomáš, van Schuppen, Jan H.

Journal:

Systems & Control Letters

Year:

2012

Language:

english

File:

PDF, 283 KB

english, 2012

20

[IEEE 2013 51st Annual Allerton Conference on Communication, Control, and Computing (Allerton) - Monticello, IL (2013.10.2-2013.10.4)] 2013 51st Annual Allerton Conference on Communication, Control, and Computing (Allerton) - A bridge between decentralized and coordination control

Komenda, Jan, Masopust, Tomas

Year:

2013

Language:

english

File:

PDF, 567 KB

english, 2013

21

[IEEE 2014 European Control Conference (ECC) - Strasbourg, France (2014.6.24-2014.6.27)] 2014 European Control Conference (ECC) - Bottom-up approach to multilevel supervisory control with coordination

Komenda, Jan, Masopust, Tomas, van Schuppen, Jan H.

Year:

2014

Language:

english

File:

PDF, 261 KB

english, 2014

22

[IEEE 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011) - Orlando, FL, USA (2011.12.12-2011.12.15)] IEEE Conference on Decision and Control and European Control Conference - Hierarchical control with partial observations: Sufficient conditions

Boutin, Olivier, Komenda, Jan, Masopust, Tomas, Schmidt, Klaus, van Schuppen, Jan H.

Year:

2011

Language:

english

File:

PDF, 291 KB

english, 2011

23

[IEEE 2013 IEEE 52nd Annual Conference on Decision and Control (CDC) - Firenze (2013.12.10-2013.12.13)] 52nd IEEE Conference on Decision and Control - Multilevel coordination control of modular DES

Komenda, Jan, Masopust, Tomas, van Schuppen, Jan H.

Year:

2013

Language:

english

File:

PDF, 257 KB

english, 2013

24

ON THE TERMINATING DERIVATION MODE IN COOPERATING DISTRIBUTED GRAMMAR SYSTEMS WITH FORBIDDING COMPONENTS

MASOPUST, TOMÁŠ

Journal:

International Journal of Foundations of Computer Science

Year:

2009

Language:

english

File:

PDF, 138 KB

english, 2009

25

A NOTE ON LIMITED PUSHDOWN ALPHABETS IN STATELESS DETERMINISTIC PUSHDOWN AUTOMATA

MASOPUST, TOMÁŠ

Journal:

International Journal of Foundations of Computer Science

Year:

2013

Language:

english

File:

PDF, 170 KB

english, 2013

26

Common yew intoxication: a case report

Vališ, Martin, Kočí, Jaromír, Tuček, David, Lutonský, Tomas, Kopová, Jana, Bartoń, Petr, Vyšata, Oldřich, Krajíčková, Dagmar, Korábečný, Jan, Masopust, Jiří, Klzo, Ludovít

Journal:

Journal of Medical Case Reports

Year:

2014

Language:

english

File:

PDF, 352 KB

english, 2014

27

[IEEE 2014 IEEE 53rd Annual Conference on Decision and Control (CDC) - Los Angeles, CA, USA (2014.12.15-2014.12.17)] 53rd IEEE Conference on Decision and Control - Decentralized supervisory control with communicating supervisors based on top-down coordination control

Komenda, Jan, Masopust, Tomas

Year:

2014

Language:

english

File:

PDF, 350 KB

english, 2014

28

Distributed computation of supremal conditionally controllable sublanguages

Komenda, Jan, Masopust, Tomáš

Journal:

International Journal of Control

Year:

2016

Language:

english

File:

PDF, 1.05 MB

english, 2016

29

[IEEE 2015 IEEE International Conference on Automation Science and Engineering (CASE) - Gothenburg, Sweden (2015.8.24-2015.8.28)] 2015 IEEE International Conference on Automation Science and Engineering (CASE) - Relative observability in coordination control

Komenda, Jan, Masopust, Tomas, van Schuppen, Jan H.

Year:

2015

Language:

english

File:

PDF, 769 KB

english, 2015

30

[IEEE 2015 International Conference on Complex Systems Engineering (ICCSE) - Storrs, CT, USA (2015.11.9-2015.11.11)] 2015 International Conference on Complex Systems Engineering (ICCSE) - On a distributed computation of supervisors in modular supervisory control

Komenda, Jan, Masopust, Tomas, van Schuppen, J. H.

Year:

2015

Language:

english

File:

PDF, 107 KB

english, 2015

31

[IEEE 2015 American Control Conference (ACC) - Chicago, IL, USA (2015.7.1-2015.7.3)] 2015 American Control Conference (ACC) - Multilevel coordination control of partially observed modular DES

Komenda, Jan, Masopust, Tomas, van Schuppen, Jan H.

Year:

2015

Language:

english

File:

PDF, 211 KB

english, 2015

32

Intraoperative MRI during endoscopic transsphenoidal surgery of growth hormone-secreting pituitary adenomas

Netuka, David, Májovský, Martin, Masopust, Václav, Belšán, Tomáš, Marek, Josef, Kršek, Michal, Hána, Václav, Ježková, Jana, Hána, Václav, Beneš, Vladimír

Journal:

World Neurosurgery

Year:

2016

Language:

english

File:

PDF, 8.25 MB

english, 2016

33

Supremal Normal Sublanguages in Hierarchical Supervisory Control

Komenda, Jan, Masopust, Tomáš

Journal:

IFAC Proceedings Volumes

Year:

2010

Language:

english

File:

PDF, 133 KB

english, 2010

34

On Algorithms and Extensions of Coordination Control of Discrete-Event Systems

Komenda, Jan, Masopust, Tomáš, van Schuppen, Jan H.

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 177 KB

english, 2012

35

[IEEE 2016 13th International Workshop on Discrete Event Systems (WODES) - Xi'an, China (2016.5.30-2016.6.1)] 2016 13th International Workshop on Discrete Event Systems (WODES) - Control of an engineering-structured multilevel discrete-event system

Komenda, Jan, Masopust, Tomas, van Schuppen, Jan H.

Year:

2016

Language:

english

File:

PDF, 293 KB

english, 2016

36

Magnetic resonance imaging and histology correlation in Cushing's disease

Masopust, Václav, Netuka, David, Beneš, Vladimír, Májovský, Martin, Belšán, Tomáš, Bradáč, Ondřej, Hořínek, Daniel, Kosák, Mikuláš, Hána, Václav, Kršek, Michal

Journal:

Polish Journal of Neurology and Neurosurgery / Neurologia i Neurochirurgia Polska

Year:

2016

Language:

english

File:

PDF, 1.27 MB

english, 2016

37

[IEEE 2016 IEEE 55th Conference on Decision and Control (CDC) - Las Vegas, NV, USA (2016.12.12-2016.12.14)] 2016 IEEE 55th Conference on Decision and Control (CDC) - Distributed computation of maximally permissive supervisors in three-level relaxed coordination control of discrete-event systems

Komenda, Jan, Masopust, Tomas, van Schuppen, Jan H.

Year:

2016

Language:

english

File:

PDF, 237 KB

english, 2016

38

On Boolean combinations forming piecewise testable languages

Masopust, Tomáš, Thomazo, Michaël

Journal:

Theoretical Computer Science

Year:

2017

Language:

english

File:

PDF, 965 KB

english, 2017

39

Complexity of Infimal Observable Superlanguages

Masopust, Tomas

Journal:

IEEE Transactions on Automatic Control

Year:

2017

Language:

english

File:

PDF, 334 KB

english, 2017

40

Complexity of Verifying Nonblockingness in Modular Supervisory Control

Masopust, Tomas

Journal:

IEEE Transactions on Automatic Control

Year:

2017

Language:

english

File:

PDF, 343 KB

english, 2017

41

Complexity of universality and related problems for partially ordered NFAs

Krötzsch, Markus, Masopust, Tomáš, Thomazo, Michaël

Journal:

Information and Computation

Year:

2017

Language:

english

File:

PDF, 972 KB

english, 2017

42

Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems

Komenda, Jan, Masopust, Tomáš, van Schuppen, Jan H.

Journal:

IFAC Proceedings Volumes

Year:

2010

Language:

english

File:

PDF, 157 KB

english, 2010

43

Coordinated Control of Discrete Event Systems with Nonprefix-Closed Languages

Komenda, Jan, Masopust, Tomás, Schuppen, Jan H. van

Journal:

IFAC Proceedings Volumes

Year:

2011

Language:

english

File:

PDF, 244 KB

english, 2011

44

On context-free rewriting with a simple restriction and its computational completeness

Masopust, Tomáš, Meduna, Alexander

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2009

Language:

english

File:

PDF, 182 KB

english, 2009

45

Automatic Generation of Optimal Reductions of Distributions

Lin, Liyong, Masopust, Tomas, Wonham, W. Murray, Su, Rong

Journal:

IEEE Transactions on Automatic Control

Year:

2018

Language:

english

File:

PDF, 2.20 MB

english, 2018

46

On the height of towers of subsequences and prefixes

Holub, Štěpán, Masopust, Tomáš, Thomazo, Michaël

Journal:

Information and Computation

Year:

2019

File:

PDF, 990 KB

2019

47

Complexity of detectability, opacity and A-diagnosability for modular discrete event systems

Masopust, Tomáš, Yin, Xiang

Journal:

Year:

2019

Language:

english

File:

PDF, 481 KB

english, 2019

48

Blackhole Pushdown Automata

Csuhaj-VarjÃº, ErzsÃ©bet, Masopust, TomÃ¡Å¡, Vaszil, GyÃ¶rgy

Journal:

Fundamenta Informaticae

Year:

2011

File:

PDF, 161 KB

2011

49

Regulated Nondeterminism in Pushdown Automata: The Non-Regular Case

Masopust, TomÃ¡Å¡

Journal:

Fundamenta Informaticae

Year:

2010

File:

PDF, 95 KB

2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски